exterior derivative